Labels:text | screenshot | font | document | number | menu OCR: Law of Detachment P & (P = Q) >Q Modus tollendo tollens Modus follendo ponens -P & (PV Q) +Q Law of Simplification P & Q XP Law of Adjunction P & Q P & Q Law of Hypothetical Syllogism (P Q) & (Q - R) - (P > R) Law of Exportation [P & Q- A]- [P- (Q-R)] Law of Importation [P (Q -R)] > [P & Q +RI Law of Absurdity [P ] Q & Q]- P Law of Addition P(PV Q) Law of Double Negation PEP Law of Contraposition (P Q) + (Q > P) DeMorgans's Laws "(P V Q) = (-P & Q) "(P & Q) >(-P V -Q) Commutative Laws P & Q > Q &P PVQ-QVP Law of Equivalence tor Implication and Disjunction (P >> Q) + (-PV Q) Law of Negation for Implication -(P > Q) P & -Q Laws for Bicondional Sentences (P > Q) + (P =>Q) & (Q->P) (P + Q) + (P & Q) V (-P & -Q) Laws of the Excluded Middle P.V .P. Law of Contradiction -(P & -P) Legend: For space considerations, & means "AND" means "BI-IMPLIES" (logical equivalence) means "NOT" means "IMPLIES" V means ."OR" FIGURE 2. Some useful tautologies of two-valued propositonal logic.
